linear equation by substitution